Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.toยท11hยท
Discuss: DEV
โœ…Format Validation
Never Ever Use Content Addressable Storage
frederic.vanderessen.comยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ingยท11h
๐ŸบZIP Archaeology
The Why of PGP Authentication
articles.59.caยท6h
๐Ÿ”‘Cryptographic Protocols
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
A disenshittification moment from the land of mass storage
doctorow.medium.comยท7h
๐ŸงฒMagnetic Philosophy
Markdown2pdf โ€“ pure md to pdf transpiler implementation in Rust
github.comยท8hยท
Discuss: Hacker News
๐Ÿ“„PDF Internals
The Dunhuang Culture ๆ•ฆ็…Œๆ–‡ๅŒ– Database
digitalorientalist.comยท6h
๐Ÿ“œText Collation
New Articles: Journal of Contemporary Archival Studies
archivespublishing.comยท1d
โš–๏ธArchive Ethics
The Day I Hacked XCTrack
blog.syrac.orgยท4hยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology
Pecia system
rhollick.wordpress.comยท1d
๐Ÿ’งManuscript Watermarks
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.comยท2d
โœ…Format Validation
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸงฎZ3 Solver
XProc 3 Steps as XSpec Test Helper Functions
medium.comยท2h
๐Ÿ”€XSLT
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท1d
๐Ÿ”—Functional Compilers
Advancing Outlook email archiving & Digital Preservation at your organization
preservica.comยท1d
๐Ÿ”„Archival Workflows
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
Discuss: Hacker News, r/programming
โœ…Format Verification
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution